Proving Determinacy of the PharOS Real-Time Operating System

机译：证明PharOS实时操作系统的确定性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Azaiez, Selma; Doligez, Damien; Lemerre, Matthieu; Libal, Tomer; Merz, Stephan;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Enhancing Real-Time and Determinacy for Network-Level Schedule in Distributed Mixed-Critical System [J] . Lu Jun, Xiong Huagang, He Feng, Quality Control, Transactions . 2020,第期

机译：在分布式混合关键系统中提高网络级时间表的实时和确定
2. Real-Time and Real-Fast Performance of General-Purpose and Real-Time Operating Systems in Multithreaded Physical Simulation of Complex Mechanical Systems [J] . CarlosGarre, DomenicoMundo, MarcoGubitosa, Mathematical Problems in Engineering: Theory, Methods and Applications . 2014,第a期

机译：复杂机械系统多线程物理仿真中的一般和实时操作系统的实时和实际快速性能
3. A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems [J] . Li P., Binoy Ravindran, Suhaib S., IEEE Transactions on Software Engineering . 2004,第9期

机译：经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
4. Proving Determinacy of the PharOS Real-Time Operating System [C] . Selma Azaiez, Damien Doligez, Matthieu Lemerre, International conference on abstract state machines, alloy, B, TLA, VDM, and Z . 2016

机译：证明PharOS实时操作系统的确定性
5. Real-time operating system services for networked embedded systems. [D] . Zuberi, Khawar Mahmood. 1998

机译：用于网络嵌入式系统的实时操作系统服务。
6. MIROS: A Hybrid Real-Time Energy-Efficient Operating System for the Resource-Constrained Wireless Sensor Nodes [O] . Xing Liu, Kun Mean Hou, Christophe de Vaulx, 2014

机译：MIROS：用于资源受限的无线传感器节点的混合实时节能操作系统
7. Proving Determinacy of the PharOS Real-Time Operating System [O] . Azaiez Selma, Doligez Damien, Lemerre Matthieu, 2016

机译：证明PharOS实时操作系统的确定性
8. EOS (Embedded Operating Systems): A Project to Investigate the Design and Construction of Real-Time Distributed Embedded Operating Systems. [R] . campbell, r. h. essick, r. b. 1986

机译：EOs（嵌入式操作系统）：一个研究实时分布式嵌入式操作系统的设计和构建的项目。

Proving Determinacy of the PharOS Real-Time Operating System

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅